Fix typos in share/minizinc

[waywardmonkeys]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 75.82%. Comparing base (fb83a2f) to head (e4cc2e5).

Additional details and impacted files

@@           Coverage Diff            @@
##           develop     #204   +/-   ##
========================================
  Coverage    75.82%   75.82%           
========================================
  Files          124      124           
  Lines        42242    42242           
  Branches     42242    42242           
========================================
  Hits         32028    32028           
  Misses        9490     9490           
  Partials       724      724           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[waywardmonkeys]

@Dekker1 I rebased this forward now that you fixed clippy and stuff.

[Dekker1]

Thank you for the PR. We have been talking for a while about how to keep the MiniZinc library consistent with the current system (https://github.com/MiniZinc/libminizinc). Likely we will switch to a system where this repository will only contain overrides for new features, and we will maintain the MiniZinc library in the other repository. As such, I won't merge these changes, but would suggest that you rebase them on the other repository and make a PR there.

Sorry for the inconvenience.